A Formal Model for BPEL4WS Description of Web Service Composition

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.     

移动Ad Hoc网络中的命名服务与目录服务

命名服务与目录服务属于移动Ad Hoc网络（MANET）中的基础服务。目前MANET中实现命名服务的一种主要方式是通过设备的硬件地址自动生成，这种方式由于与硬件地址绑定带来了用户不友好、不便记忆、更换设备需要更换名字等缺点。提出了一种分布式的名字自动分配机制，名为NetNeighbor，可以为MANET中的移动主机提供命名服务与目录服务。仿真结果表明，系统运行稳定后NetNeighbor协议命名冲突的概率为0，有效地避免了移动主机名字冲突对数据通讯造成的影响：每个节点中保存的全局信息量达到98％，使局部存储的信息精确地反映了网络全局视图，提高了目录服务的准确率。     

海运服务贸易的"绿色壁垒"机理分析

阐述海运服务贸易绿色壁垒的概念和特点，重点对海运服务贸易绿色壁垒进行机理分析、通过分析得出结论：当A国海运服务市场的准入标准高于B国时，B国的航运企业会在仅服务B国内海运市场和同时服务A、B两国海运市场之间作选择．当A国准入标准升高到某一阈值，B国航运企业的上述两种选择利润将是无差异的、对于A国航运企业来说，把其在完全垄断和寡头垄断之间做出无差异选择的标准定义为Sd，如果排挤外国航运企业的标准Se〉Sd，A国航运企业宁愿选择没有准入标准的寡头垄断，否则A国航运企业更愿意执行标准Se．     

网络管理中CORBA Web Services数据转换的研究

网络管理中CORBA／Web Services数据转换的关键是要实现IDL／WSDL数据映射,并且完成IDL／WSDL翻译器的设计。根据数据转换的具体要求,对CORBA／IDL与Web Services／WSDL的数据交互进行了研究。详细描述了CORBA／IDL和Web Services／WSDL之间基本数据类型的映射、接口和方法的映射等,提出了CORBA／Web Services数据交互模型,给出了翻译器的示例代码和CORBA／Web Services协议适配器的结构。成功的解决了网络管理中CORBA／Web Services数据转换的问题。     

生物特征识别网格系统架构及其应用

提出了一种用于生物特征识别的网格BMG.BMG创建一个虚拟的协作环境以连接分布式的研究中心、用户、模型和数据,为单一生物特征识别和多模式生物特征识别研究提供测试平台,并用网格计算解决的大规模数据库或多模式生物特征识别等类型的应用.实例证明,BMG是实用可行的.     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

论知识服务业及其在沈阳老工业基地振兴中的重要性

从新兴的知识服务业的内涵及其在大都市经济发展的重要性入手,详细分析了知识服务业在沈阳老工业基地振兴和发展过程中的作用。认为知识服务业是一个新兴的产业,有着强大的生命力,应努力使其成为沈阳经济发展的一个重要支柱产业。     

城市建设用地生态服务功能价值计算与应用

在参考Costanza等人对全球生态服务价值估算方法和部分结果的基础上，应用防治成本法、工程费用法、替代成本法等间接市场法估算各类建设用地对生态服务的影响价值，修正自然生态服务价值的结果，使其能反映人类活动对生态服务的影响，更符合人工或半人工生态系统的实际．结合江苏省太仓市的应用实例，通过分析、比较修正前后总体系统生态服务价值的年度变化趋势，检验方法的实用性．结果表明，建设用地对生态系统整体服务价值产生重大影响，在计算时不容忽视．     

电子商务的个性化服务

在电子商务中，商家给客户提供的信息应该具有信息全、更新快、查询方便、个性化服务及全面的信息统计与及时反馈等特点，当前各电子商务网站都采用大量的技术手段来提供个性化服务，以提高用户寻找信息的效率。本文对电子商务个性化服务的发展、原理、技术和体系结构进行描述和讨论。     

图书馆个性化信息服务的过程管理

提出了图书馆个性化信息服务的过程模型，讨论了用户个性化信息需求的识别、图书馆个性化信息服务的实施以及图书馆个性化信息服务质量的评价等环节的管理策略。